Petri Net Process Decomposition with Application to Validation

The aim of this paper is to show h o w a n y process of a Petri net which i s a composition of two nets can be decomposed in processes of the component nets, and vice versa. Therefore, we introduce the concept of a process sample of a net with respect to a subnet and we claim that, under some requirements, jumping nets are suitable to generate all the process samples of a net. Then we give suucient conditions under which a jumping Petri net can be simulated by a P etri net. Finally, a methodology for validation of Petri net models based on process decomposition, is proposed.